Software construction

Results: 3327



#Item
941Programming language theory / Compiler construction / Prolog / Computational linguistics / Logic / Parsing / Formal sciences / Software engineering / Science

TEX in Teaching Michael Moortgat, Richard Moot, Dick Oehrle Contents

Add to Reading List

Source URL: www.ntg.nl

Language: English - Date: 2001-09-26 14:35:12
942Semantic similarity / WordNet / Word-sense disambiguation / Lexical database / Natural language processing / Computational linguistics / Linguistics / Science

Automated Construction of a Software-Specific Word Similarity Database Yuan Tian1 , David Lo1 , and Julia Lawall2 1

Add to Reading List

Source URL: pagesperso-systeme.lip6.fr

Language: English - Date: 2014-01-18 11:24:43
943Business / Architecture / Management / Construction management / Project manager / Systems engineering process / Change order / Program management / Software development process / Project management / Construction / Building engineering

Facilities Project Managers Guide May 2008 TA B L E O F C O N T E N T S Introduction to the Facilities Project Manager’s Guide ........................................................ 8

Add to Reading List

Source URL: www.fs.cornell.edu

Language: English - Date: 2008-08-28 10:07:37
944Autodesk / Building engineering / 3D graphics software / Building information modeling / Submittals / Revit / Shop drawing / Project architect / Architect / Architecture / Construction / Visual arts

INTERVIEW CHECKLIST – CANDIDATE RATING FORM (Identify Differential Characteristics)  Page 1     

Add to Reading List

Source URL: www.aiaindiana.org

Language: English - Date: 2015-02-25 17:08:27
945Audio programming languages / Compiler construction / Software synthesizers / Compilers / JavaScript / LLVM / Clang / FAUST / Compiler / Computing / Software / Cross-platform software

Faust audio DSP language in the Web Stephane LETZ and Sarah DENOUX and Yann ORLAREY and Dominique FOBER GRAME 11, cours de Verdun (GENSOULLYON, FRANCE,

Add to Reading List

Source URL: feever.fr

Language: English - Date: 2015-04-14 03:55:04
946Lattice models / Compiler construction / Particle physics / Array programming languages / Numerical linear algebra / Quantum chromodynamics / Lattice gauge theory / Lattice QCD / Lattice / Physics / Mathematics / Mathematical software

[hal, v1] Automated Code Generation for Lattice QCD Simulation

Add to Reading List

Source URL: www.cri.ensmp.fr

Language: English - Date: 2014-01-20 09:34:58
947Compiler optimizations / Compiler construction / Branch predictor / Branch predication / Indirect branch / Basic block / ARM architecture / Assembly language / RSA / Computer architecture / Computing / Software engineering

Countermeasures for the Simple Branch Prediction Analysis Giovanni Agosta and Gerardo Pelosi Dipartimento di Elettronica e Informazione Politecnico di Milano {agosta,pelosi}@elet.polimi.it

Add to Reading List

Source URL: eprint.iacr.org

Language: English - Date: 2006-12-21 11:56:07
948Compiler construction / Compiler optimizations / Static single assignment form / Compilers / GNU Compiler Collection / Loop optimization / Prolog / Vectorization / Compiler / Software / Computing / Programming language implementation

The New Framework for Loop Nest Optimization in GCC: from Prototyping to Evaluation Sebastian Pop Albert Cohen Pierre Jouvelot Georges-Andr´e Silber CRI, Ecole des mines de Paris, Fontainebleau, France ALCHEMY, INRIA Fu

Add to Reading List

Source URL: www.cri.ensmp.fr

Language: English - Date: 2006-02-10 18:39:21
949Computing / Static single assignment form / GNU Compiler Collection / Compiler / Programming language / Software / Programming language implementation / Compiler construction

The SSA Representation Framework: Semantics, Analyses and GCC Implementation The SSA Representation Framework: Semantics, Analyses and GCC Implementation Sebastian Pop ´

Add to Reading List

Source URL: www.cri.ensmp.fr

Language: English - Date: 2006-12-13 17:37:56
950Programming language implementation / Models of computation / Compiler construction / Cross-platform software / Procedural programming languages / Kahn process networks / Compiler / Ada / Denotational semantics / Computing / Software engineering / Software

Erbium: A Deterministic, Concurrent Intermediate Representation for Portable and Scalable Performance Cupertino Miranda1 , Philippe Dumont1,2 , Albert Cohen1 , Marc Duranton2 and Antoniu Pop3 1

Add to Reading List

Source URL: www.cri.ensmp.fr

Language: English - Date: 2010-01-25 11:25:30
UPDATE